Temporal Analysis of Time Bounded
نویسندگان
چکیده
To perform veriication of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analysis technique which accepts a behavioral speciication of the timing of a digital system and generates the set of all possible behaviors for the system. The ability to represent and reason about time ranges for events is a distinguishing characteristic of our technique and gives our analysis method both its power and complexity.
منابع مشابه
A method for analyzing the problem of determining the maximum common fragments of temporal directed tree, that do not change with time
In this study two actual types of problems are considered and solved: 1) determining the maximum common connected fragment of the T-tree (T-directed tree) which does not change with time; 2) determining all maximum common connected fragments of the T-tree (T-directed tree) which do not change with time. The choice of the primary study of temporal directed trees and trees is justified by the wid...
متن کاملModeling of a Probabilistic Re-Entrant Line Bounded by Limited Operation Utilization Time
This paper presents an analytical model based on mean value analysis (MVA) technique for a probabilistic re-entrant line. The objective is to develop a solution method to determine the total cycle time of a Reflow Screening (RS) operation in a semiconductor assembly plant. The uniqueness of this operation is that it has to be borrowed from another department in order to perform the production s...
متن کاملSpatio-temporal analysis of the covid-19 impacts on the using Chicago urban shared bicycles by tensor-based approach
Cycling is a phenomenon in urban transportation that has the ability to allocate a specific location at any moment in time. Accordingly, spatial analysis of bicycle trips can be accompanied by temporal analysis. The use of a GIS environment is commonly recommended to display the extent of the phenomenon's spatial changes. However, in order to apply and display changes over time, it will requir...
متن کاملSpatial, temporal, and spatiotemporal analysis of cutaneous leishmaniasis in North Khuzestan Province, Iran, from 2011 to 2015: brief report
Background: Leishmaniasis is a zoonosis disease. About 350 million people are at risk of developing a disease, with 1.5 to 2 million new cases every year in the world. The aim of this study was to determine the space-time clusters of cutaneous leishmaniasis in north of Khuzestan Province, Iran. Methods: In this cross-sectional study, the annual cutaneous leishmaniasis incidence per 100,000 ind...
متن کاملDual-time-point FDG-PET/CT Imaging of Temporal Bone Chondroblastoma: A Report of Two Cases
Temporal bone chondroblastoma is an extremely rare benign bone tumor. We encountered two cases showing similar imaging findings on computed tomography (CT), magnetic resonance imaging (MRI), and dual-time-point 18F-fluorodeoxyglucose (18F-FDG) positron emission tomography (PET)/CT. In both cases, CT images revealed temporal bone defects and sclerotic changes around the tumor. Most parts of the ...
متن کاملImproving the Performance of ICA Algorithm for fMRI Simulated Data Analysis Using Temporal and Spatial Filters in the Preprocessing Phase
Introduction: The accuracy of analyzing Functional MRI (fMRI) data is usually decreases in the presence of noise and artifact sources. A common solution in for analyzing fMRI data having high noise is to use suitable preprocessing methods with the aim of data denoising. Some effects of preprocessing methods on the parametric methods such as general linear model (GLM) have previously been evalua...
متن کامل